perm filename CMR8.360[360,GF] blob
sn#868278 filedate 1989-01-10 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'βH↔ε∩p_Lπ#⊂→Lg∧ G#aP
β@∃8↓U`58↓U@U0αU ⊂λαU ⊂⊂α∃ ⊂⊂α∃⊂ α∃⊂ α∀` αT`⊂0α∀`⊂0α∀@⊂@α∀@⊂@α∀ @αT!uλB@ECECECDxC@DxC@Dp↓β@Thαβ TP∧B↓D("⊂C⊃X
ε@↓⊂'↓↓⊂_'↓↓ _'↓↓ '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0_'↓↓ '↓↓⊂ 'βiaλ'↓↓0_'↓↓@_'↓↓@ '↓↓P '↓↓P '↓↓P '↓↓P '↓↓P '↓↓@ '↓↓@ '↓↓0 '↓↓⊂ %∧hT !FCAP
α`p8T@@0↓@`%↓C⊂λ↓S`0pα∪@1↓S 1⊂↓∪A⊂↓∪1 R`A R`1(R@DPα∩@DPα∩@DPα∩@DX↓E ∀Xα¬∀`↓E∀`α∧@∀h↓D@∀p↓D∀x↓C@∃↓C∃⊂α↓@5(βQ(D
G#!P∧I` ∧@i` ¬@i` εi` ε@i` εA ` πi` π↓ ` π@i` π@i` πA ` πA ` πA ` πA ` πA ` πA ` πA ` π@i` π@i` π↓ ` πi` πi` ε@i` εi` ¬@i` ∧@i!⊂"QλQH
FC S@@Xα∪@@h↓∪@@pS@@pS@@p↓∪@@xS@@8A`∀pα↓`⊂8S@@8S@@8S@@0↓∪ADpα↓@$pα↓`∀pα↓`∀pα↓`∀pα↓`⊂@S@AS@@xS@@xS@@xS@@p↓∪@@p↓∪@@h↓∪@@Xα∩Bt("⊃BqH
ε@↓0'↓↓ '↓↓@⊂'↓↓Pλ'↓↓Pλ'↓↓P⊂'↓↓`λ'↓↓`λ'↓pλβ)` β@)` β@)` β@)` βI``'↓`⊂'↓pλ'↓pλ'↓pλ'↓pλ'↓ ` '↓ ` '↓ ` '↓ h"Qλq`∂εC XβA@∃⊂↓A` _↓∀0X@ 4x↓C Dp↓C`4h↓D $`↓D@$`↓D`∀Xα∧`∀X↓E∀Pα∩@DPα∩@DPα∩@@`ε∩@Aλα∩`1λα∩`Aα∪1α∪1α∪ 0xα∪@0pα∪`0hα∀0X@ 5⊂↓A` _↓∃ p0Q(D@
G#!Pβ0`'↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '↓↓0 '∧i` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A `↓CλT $C↓QP
↓Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩AD("∩B⊃⊂
ε@P`*↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓
@ *↓ 0_β↓ (αA (αA (α@i0_α@i@λα@iP0"Q 1`∂εC ε↓a∧pαβ Dpαβ $pαβ ∀pαβ∀pαα`∀pαα@∀pαα ∀pαα∀pα↓@$pα↓ $pα↓Dpα`Tpα@⊂⊂α∪@@λADpαA Dpα↓`DpααDpααDpαα Dpαα@Dpαα@Tpαα`DpαβDpαβTpαβdPε↓A$("∪αQ8
ε@h'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓↓@λ'↓↓@λ'↓↓@λ'↓↓@λ'↓↓0⊂'↓↓0λ'↓↓ ⊂'↓↓⊂_'↓↓ %¬λT &HDAP
↓↓λ∧S@AλαS@AλαS@⊂λ↓C`⊂λα∪@⊂λ↓C`⊂λα∪@⊂⊂↓C ⊂⊂α∪@⊂⊂↓C ⊂⊂α∪@⊂⊂↓C ⊂⊂α∪@⊂_↓B`⊂_α∪@⊂_↓B`⊂_α∪@⊂ ↓B ⊂ α∪@⊂ ↓B ⊂ α∪@⊂ ↓B ⊂ α∪@⊂(↓A`⊂(α∪@⊂(↓A`⊂(α∪@⊂0↓A ⊂0α∪@⊂0↓A ⊂0α∪@⊂0↓A ⊂0α∪@⊂8↓@`⊂8α∪@⊂8↓@`⊂8α∪@⊂8↓@`⊂8α∪@⊂@↓@ ⊂@α∪@⊂@↓@ ⊂@α∪@⊂H↓B DpB 0Hα∪ 0@↓B DP∧A@⊂0ε⊃(Dp
G#!Pα↓ H'↓!@_'↓A@λ' ⊂ ε)`λ↓↓↓0λ' (¬)`λ↓A↓ λ' @ ∧@)`λαA↓λ' P ∧)`λβ↓pλ' p β)`λβA`λ'! α@)`λ∧A@λ'!⊂(↓@)`λ¬↓0λ'!0 ↓)`λ¬A ⊂λ'!@ @)`λεA)`λπ↓ `λπ↓ `λπ@i`λλIP_π@I Hε@(T 'GβaP
αA¬⊂↓A@5↓B@4x↓C4p↓C@4h↓D4`↓D@4Xα∧@DXα∧@DX↓E4Pα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DX↓E4Xα∧@DXα∧@D`α∧Dh↓D4p↓C@4x↓C5↓B@5⊂↓A@5 ∧⊃(EεC!P∧I` ∧@i` ¬↓ ` ¬A ` εi` ε↓ ` ε↓ ` ε↓ ` ε↓ ` εi` ¬A ` ¬↓ ` ∧@i`p'↓ ` '↓ ` '↓ ` '↓ ` '↓ ` '↓ ` %βλT (Gβb⊂
αA¬⊂↓A@5↓B@4x↓C4p↓C@4h↓D4`α∧DXα∧@DXα∧@DX↓E4Pα¬DPα¬DPα¬DPα¬DPα¬DPα¬DPα¬DX↓E4Xα∧@DXα∧@D`↓D@4h↓A@@0↓S@0 ↓`⊂ ↓S`0_A ⊂⊂↓T0⊂A ⊂λ↓T@@(↓U↓⊂@W 8W 8W 0↓↔0 ↓W!¬h∧↔@exα⊃(E⊂∞πC!P∧ ` βA ` ∧A ` ¬↓ ` ¬@i` ¬A ` ¬A ` ¬A ` ¬A ` ¬@i` ¬↓ ` ∧A ` βA ``'↓p_'↓↓ '↓↓⊂_'↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ '↓↓⊂ β)` ¬``λ'↓↓0_α) `∧↓HT )DbQP
↓ p S 00↓ $`↓α@4X↓B`$X↓β$P↓C ∀P↓C ∀P↓C ∀Pα∩@TXβS↓$hε∪AEλ¬∃@e@α⊗ EP↓R@⊂x↓R@⊂x↓R@⊂x↓R@ p↓∩@ h↓∩@@X↓∩@ ⊂↓↓`$PA!∧("∃β!`
ε@⊃@%@`p β@i0⊂∧↓↓⊂%@!⊂ ∧@)0λ∧A↓⊂λ%! ¬) λ¬↓↓ λ%! ¬) λ¬↓↓ λ*A
P *A
P *A
P *A
P *A
P *A
P *A
P *A
P *↓Iq"Q
QX∞FC ε↓A∀pαβ 4pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀pαβ@∀x↓C ∀xαβ∃↓B`∃λ↓B ∃_↓A %(β⊃(E0∞GC!Pαa @&A!p '↓α⊂'↓αλ'↓!`⊂'A↓`λ'A!Pλ(↓↓@λ(↓↓@λ(A↓ λ(A↓ λ(A!⊂)↓↓λ)↓↓λ)A`λ)A`λ*↓@λ*↓@λ*↓ 0λ*A λ*A λ+↓*`(+↓*p_+@kλ"Q
r@∀FC ¬A↓00∧∪ PPαB`Dhαα`P`↓∪@@Xαβ∀pαα`@`S@@XαB`∀xαα@PPS`@PαB@∀xαα ⊂⊂αα ∃αα⊂⊂αα∃αα⊂⊂αα∃αA@⊂ α↓@%λα↓@⊂ α↓@∃λα↓@⊂ α↓@∃λαA⊂0α↓%⊂α↓⊂0α↓∃⊂α↓⊂0α↓∃_α@⊂@α@∃_α@⊂@α@∃_α@⊂@α@∃ αB@U αB@U αB@U(↓C5(↓C5(↓β@%0C@∀("⊗βQp
ε@⊂Xβα)`0¬↓ p ¬@J ¬*(∧J⊂(β@* β* (αJ0(↓@*@ ↓*@0*A*` +A
`0+ ⊂ *@ 0 * @()@@P()@ p )!((@! ((@!0 (!@('@AP(&A!@0%α!⊂X"Q⊃h∂εC ¬BA∧hαC`Dpα∧∀pαC`∀xαC ∃αβ∃αB`∃λαB ∃⊂αα%_α↓`∃_αA ∃ α↓ ∃(α`∃(α@ %0β∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E_ε⊃(EP
Ec!PE 0(¬↓ 0_ε↓ 0⊂ε↓ 0⊂¬A 0λε↓ 0λ¬A 0λ¬↓)0λ¬↓
P *↓*@ )A
()↓
⊂ (↓* ¬)p ¬@)`(¬@)` ¬@IP εIP ε)@ εI0 εi0 ¬↓)! "Q⊃⊂
∧α_βR`0(↓R`@(↓R`@0↓S 8↓U 5_αS`Pλ↓S @ ↓S00↓R`@0↓R@@8↓@`∀Pα↓`0_R@@8↓@`∀X↓A@@_R`@ @@0λS ` ↓Q(F⊂
EC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_↓AIP_@@P_&A↓_&@a _&@a &@a0_&@a0 &@a0 &@a0 &@a0 &@a0 &@a0_&@a &@a _&A↓_&@@ ⊂α@iPλαA(T 1Dα⊃λ↓@tp↓A 4h↓A D`↓A@DXα↓`$X↓R@DPα∩@DPα∩@DX↓R`D`↓B@∀h↓B∀p↓A@∃βQ(F
EC1Xε↓K⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@j⊂(↓@i`_α@@⊂_&@a &a _%A↓ _%@a0_%↓↓0_%↓↓0_%↓↓0_%↓↓0_%↓↓0_%@a0_%A↓ _&a _&@a '`P⊂@j0↓AHT 2Dα⊃λ↓@dp↓A$h↓↓`$`↓A`4X↓B 4X↓B 4Pαα 4Pλ∩@DPα∩@DX↓R`4`↓B@∀h↓B∀p↓A@∃βQ(F0πCc1X∧↓*⊂⊂↓@Ip_↓A p⊂α↓ `_α@I`_'i`_'i`_'i X'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i0P"Qq⊂ F"(β`4h↓A@⊂↓∪00↓@@∀`↓A@4Xα↓@DXα↓@DXα↓@D`↓A@4`↓A@4h↓A4`↓ d`S$`↓∪↓4hεS!d`↓α@4X↓β4P↓β@$P↓β@$P↓β@$X↓β$`↓α@$h↓A@4x∧⊃(F@
EC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_↓AIP_↓ P_&@`⊂λβ@IP ∧iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@iP_∧@i H↓B(T 4B!!X
@`$`α∪Dh↓⊃`pβ∪ 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 4P∧Q(FP¬B$1X∧J⊂ (A
⊂#A`P0)j _)j _)j _)j _)j _)j _)j _)j _)j _)i0⊂α@i αI ↓@i0⊂αI@("Q
1_
εc0β∪ 4h↓S 4h↓S 4h↓S 4h↓S 4h↓S 00βS 08α∪ 08↓∪ 00S 0(S 0 S 0_S 0λα∪ @λα∪ 0_↓S 0 ↓S 0 α∪ 0(↓S 00↓S 00α∪ 00αRA⊂⊂∧⊃(F`∧BC1X↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@i H"Q
Rλ⊃∧αβ``0β∪ 0⊂A 0_A 4h↓@ ⊂8↓@⊂8↓∪ @@αα4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4h↓B 0H↓S 0H↓B 4P∧@a⊂_∧Q(Fp
EB↓↓@00&@` λα@iP_@ p⊂&A↓_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_&@a⊂_%α 0H"Q
q⊂ Dα0β∪@0 ↓S @↓∪0@↓R`0P↓R`0P↓R@@Pα∩@@Pα∩@@Pα∩@@Pα∩@@Pα∩`0P↓R`0P↓S0@↓S @↓∪@0 ↓Td("≤αQ0∧0↓AIP_@@P_&A↓_&@a _&@a &@a0_&@a0 &@a0 &@a0 &@a0 &@a0 &@a0_&@a &@a _&A↓_&@`⊂⊂α↓ P_↓A)P_&@iP_&@iP_&@iP_%α(T 8EαQ@λ↓@P(S@0 ↓@$h↓A`⊂λ↓∪0@α∩`@H↓R`0P↓R@@P↓R@@P↓R@@P↓R@@P↓R@@P↓R`0P↓R`@H↓S0@α∪ 08α∪@0 ↓ 5α@`5@↓V5@↓V5@↓V5@↓U!∀("≤A`xλ∧0↓↓ P_@ 0_&A0 &A0 &@`P⊂&@iP_&@iP_&@iP_&@iP_&@iP_&@i P"Q∞0pπDα_β@@∀`↓↓@4XB $P↓α@∀P↓α@∀P↓R`tX¬∪!∃λβ∃DPB`$PB`$P↓α@$P↓B ∀P↓ ⊂0↓∩@⊂_β⊃(G εβ#↓@α@)pλ'@)pλ'I`⊂&@i@ %αiP_&@iP_&@iP_&@iP_&@iP_&@`Pλ&@`Pλ&@`Pλ&@`Pλ'@Pλ'`0λ(↓λT :E"aλ`0β∪ 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0H↓S 0@α∪@ @α∪` (↓ 5β`d("≥B1 λ∧@αAI@ ∧iP_∧@)P_∧@)`_β@)`_β@)p_α@)p_α@)p α*_↓@*_↓@*⊂_@*⊂_@*⊂()j _)@(T ;GβQλ↓⊂∧↓d`α↓`08↓S 08↓B∀h↓A`0@S @0α↓@$p↓A@@0S@0(@@ 0S`0 @@0 S`0_↓@0 S`0_A T0⊂A0⊂T0λA@ ⊂TP0αT @0α∀ 0@↓T@ @↓∀@⊂PQ(G@ Eα↓α@8&A`_&A`⊂'``λ'@`@λ(` λ(A
⊂ )j (@ _( 0_'@@@_'@`_'!_&↓p %↓`@@"Q∂⊃_
εα∧↓ d`αα4h↓B ∀h↓B ∀p↓A`∀p↓A`∀x↓A ∀x↓A ∀xα↓∃↓@`∃↓@`∃λ↓@ ∃λ↓@ ∃⊂α∀@5⊂↓T`∃_T@∃⊂R@@ R@@_R@@⊂↓∩` ⊂↓∪D("≡Aqλ∧⊂p%@`p_%@@p %@!_%@ p_%@ `_%@ P (@j_'@i` β)`_β@)P_∧)@_∧)0 ∧)0_β@i p"Q↓(FC
∪@@@α∪@@P↓∪@@XS@@XS@@X↓∪@@`S@@`S@@`S@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DPεQ(@λ∂λβ!PπK⊂+A
p +↓JP⊂A*Pλ↓A
@λα↓*@λαA
0λβ↓*0λβA
λ∧↓* λ∧A
⊂λ¬↓*⊂λ¬A
λε↓)p⊂εA)pλπA `⊂πA)`λλA Pλ ↓)Pλ A @λ
↓)@λ
A 1`%G !p"Q!`∂εC P∧∀@00↓T0P↓S`0`↓S@0p↓S 1↓SAα∩`A⊂α∩`A⊂α∩`1 ↓R@A α∩@@_C⊂_α∩@@_π`DPαa`_α∩@@_π`DPα`⊂`@`DPα¬DX↓E4Xα∧@DXα∧@D`↓D@4h↓D4p↓C@4x↓C5↓B@5⊂↓A@5 ∧⊃(@_
εc!PεJ`⊂+JP *A
P * ⊂ * ⊂ )@@⊂()@ 0 )@ 0 ) @() P ) P (@ `((@ p (@ p (!((!⊂ (!⊂ '@! ('@!0 '@!0 '!P '!P &@a00%αpX"QA8FC RBtPR@⊃(R@⊃(R@⊃(Q`0 C ∀pC ∀pπSAtpπS@⊂hS@⊂hQ`@E ∀PE ∀PE ∀PE ∀PRBtPQ(@(
G#!Pεi` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A ` ¬A `↓CλT βεCAP
β∀Xαβ`TXαD4`αD$hαD∀pα∧$pαD∀xαC`∃αβ`∃αT U⊂α∀@U_αU5(U∃_C`∃⊂D∃λD ∃D $xD@$pD@$hD@4`D TX∩C∀("↓cAp
ε@0(ε↓)@@∧α 0PβαI ⊂β↓@ βI λ∧`@_∧) λ∧@` _∧@*@_↓jP0*AJ` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` +↓
` (CHT ∧εCAP
↓Ae(α∃ E(α∃ E_∧∀0⊂α@4p↓A@ ↓S@(α↓ D`↓A@@0↓R`08α↓`4Pα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓`DPα↓`@8α∩`08α↓`4`↓A@@0↓S@(α↓ Dp↓A@ ↓T0⊂α@5_∧∃ E(α∃ E(α∀↓d("α#Ap
ε@pp+↓
` +↓
` %↓ p βA)@ β↓` &↓` β↓ P αAP &AP αA P αAP &AP αA P αAP &AP αA P αAP '↓@ α↓ ` α↓@ '@`@ αj_↓A0_(@` ↓j _A⊂_*α
` +↓
` +↓
⊂p"Q↓!P∞εC H∧∀@0α∪@0`↓S 0p↓S1↓R`Aα∩`1⊂↓R@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩@A⊂α∩`1⊂↓R`Aα∪1↓S@pα∪ 0p↓S@ p↓∪` `↓∪` `↓∩@⊂(↓α@ (R@⊂0B@⊂0R@⊂0B@⊂0R`⊂(↓α (Ra@∧∩a@∧∩a@∧⊃(Cλ∧C⊃HαAI`⊂αIP⊂βI@_βi0_∧i0_∧i0_∧i ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ ∧↓ 0_∧i0_∧i0_∧i@_βiP⊂βI`⊂αIp0"Qε⊂pλF#⊂8↓∀4`βR@ ↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T5↓T4XεQ(C⊂λ∧C⊃HαAIP⊂α@i@λ∧i0λ∧A ∧i (βA (βA (βA @λ∧A
` *A
P *↓
@_)@j _)J⊂⊂(Ip⊂∧)`⊂∧@)P⊂¬)Pλ¬)@h%CI x"Qε1 ε#⊂(β∪ (↓S⊂@↓R`@0α∩`@0α∩`@0α∪00α∃ 5 α∃5_↓S`e ↓U 5(α∃@50α∃@DX↓BDPαA`DPαA`DPαA`4Pα↓`DXB 4`↓↓@4pβQ(C ∧c⊃H¬@JP⊂*j0 )A
λ@j⊂λ↓j⊂λ↓jλ↓@ipλαipλαi`λα@iPλβi@⊂βi@λβ@i0λ∧i ⊂∧i!⊂*j@_*j@_*j@_*jX"QεQ ε#⊂⊂↓α$`¬S↓$`∧∪∀`S∀`S∀`S⊂⊂β∪0(↓S⊂@↓U@50↓U@E0α∩` Hα∩@@@α∩@@@α∩@@@α∩@⊂X↓R`⊂H↓S⊂@↓∪ ↓S`T("
B↓⊂F! (@@⊂'``λ&@``_&@@` &`` %Ap⊂%@i0_%↓ ↓↓) @ @_%↓ `_%↓ p_%↓↓_%↓↓ %↓↓ %↓↓ %@a %@a %@a &A_&`p_&@@`_'@@_(↓(T ≠D"1P
∀Xλ∩atXπR`⊂`R@⊂`R@⊂XR@⊂XU ∃ U∃_T@%⊂↓∀ 5λ↓∀ %↓T5↓S`Dxα∪`Dxα∪`Dxα∀$("∞α↓⊂F P0' P_&@!⊂&! λ%@A ⊂%@A ⊂%@A ⊂%@a⊂⊂%A `⊂&↓@0⊂&A@⊂⊂'↓ip@'@⊂8&@@8& p(%@A⊂ %A0_%A@⊂%A@⊂%A@⊂%A@λ%@A ⊂&A⊂λ&@@`⊂'AHT ≤Dα!HA dp↓↓$`↓A@$`↓↓`4X↓B$Pαα4Pαα4PααDPααDPααDPααDX↓BDX↓A`T`↓A@Th↓A⊂λα∪`P⊂α∃@E0↓U@4`↓α4Xα↓@4Xα↓@4X↓A@4`A`$`↓↓4pαQ(B λ∧Cqh∧* λ'AIP⊂↓@ ⊂&@@λα)0⊂α@ Pλ%@ `λβ) ⊂β @_%@`λ↓A ⊂β 0 %`PλαI _α@)0 ↓@)0@&αIPP'B* 8) ) @_) @_%↓@λα@I α P⊂%↓@λα@I λβ@ P⊂%@ `λα@)0λβ @λ& Pλ↓@IP⊂↓@ λ'AJ λ)(T ∪πβaX
B 5λ↓`∃↓↓ ∃↓↓ ∀x↓A ∀x↓A ∀x↓A ∀x↓A∀x↓@`∀x↓@`∀x↓@@∃αα!∃↓CE↓C %αβ∀x@ 0XS@⊂_↓B@∀h↓`0HS (↓B∀X↓A @0R@@0α↓∀Pα↓`0_R@@@↓@@∀Pαα @PR`@H↓B@∀Xαα⊂λ↓B∀`α↓ _α↓$pβBd("∂aqλ
F`@8&@`_%@!⊂_%a %↓p %↓p %@A *@j@_)@j _)J⊂⊂(@*⊂λ(@*⊂λ(@*⊂λ#A `⊂'A p (HT ∨βb⊃X A@$xα∪`E↓⊃`P8T ∃T∃T∀x↓∪`∀p↓∪ $Xα∩`4Pαα$Pα↓`DPα↓`DPαα4X↓B ∀`↓A@$pβQ(A∧BB↓↓IP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_&@iP_%α(T λBa⊃@λ↓ e⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓T@5⊂↓R` (↓R@@ ↓∩@@_↓R` ↓∪T("ε"!_
F`p0'@`0_'`P '@p_&@`p &@`p &@`p &@`p &@`p_&@``_&@`P_%↓@ &@`@_&@``_&@`p_&@`p_&@`p &@a_&@a &@a &@a &@a &@a &@a &@` _↓@iP_↓` _&@` _↓I 0↓A(T
εcQλa0β∩`00↓@` ↓∩`@0↓@ 0↓∩`@8α↓`4`↓α@@↓U@0H↓U@0H↓T"Dpα@`4`α↓@4Xα↓`4Pαα4PααDPαα@PR@@8↓@ @R`@(↓↓ 0S p@β⊃(AX∂πb↓β↓A0'`P⊂α@@@⊂&@`p⊂↓@@`⊂&a⊂⊂@@p_%@a (∧i0_¬@a⊂_%↓↓0_∧@i ¬Ci ¬@i ¬@i ¬@i0_¬@i0 ∧A)@_∧@@⊂⊂¬)P_β@@0⊂∧)`_α@@P⊂β*0∧AHT ∞∧B1@
∧∃HV%@T`λS@0 ↓S 8↓S 8↓ $X↓A`⊂⊂↓R` 8A$P↓A`⊂ ↓R@00A 4P↓A (↓R@0(A@4P↓A⊂8↓R` A`$X↓@@⊂8↓S λ↓↓`$h↓A`$p↓↓@$p@ dhS$`R`∀("π$2
εA!8+@ ⊂(∧A
pλ↓↓↓0⊂+ 0 ε*`λ↓A↓@λ+ 0 εJPλα↓↓Pλ*@ @ ε@*@λαA↓Pλ* P β@*@λαApλ)@ ` β@*0λβ↓pλ)@` βJ! ) p βJ⊂λ∧↓pλ(@! β@ `λ(@! β@ `λ(!⊂ β@ Pλ(!⊂ ε@)p⊂∧A↓Pλ'@! εIpλ¬↓↓@⊂'A ¬@IP ∧A↓⊂ %α A "Qβb0∀FC P
∀@00αB@E↓B @`↓∪`0Pαβ ∀p↓B`@hS 0`αβ $`αβ@pR`@hαα ⊂ R`@hαα ⊂ R`0x↓B ∀Pαβ`0@↓∩@@x↓A`4PαβaTPαβ`08↓R@@x↓B$Pαβ`0HR@@x↓B ∀Xαβ@0HA ∀Xαβ @xR`@hαβ@∀`αβ@pS 0`αβ@∀hαα`@h↓∪@@Pαβ %↓B @`↓∀ @0αB@E
⊃(Ax∞πCa`,⊂⊂*αPλ)``_↓*_¬ip⊂ε@i`_εA P_ε@ _&aP⊂↓@i0 ε@ @ %A↓@λαA 0_ε p_%↓↓@λβA ¬@! %↓↓ λ∧A ∧@A⊂ %↓↓⊂λ¬↓ ∧!0 %↓pλε↓ 0_β@!@_%APλε↓ 0 α!P &`0⊂ε@iP_↓!P_'@⊂λπIp_ε@J_¬ipλ↓``_' P@&@IPλ"Q∧⊂ ∧εc0λ↓∩@DPα∩@DPα∩@DPα∩@DX↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩`$X↓⊃`Pλ↓∩@DPα∩`$("∂@@
D`⊂⊂%↓ %@Hp(@I0⊂%@I0⊂%@I0⊂%@I0⊂%@I0⊂%@I %↓ %↓ %↓ %@HT ⊃GDα_
C@ 8↓⊗ 8↓⊗ 8↓∃` 8↓∃` 8↓∃` 8↓∃` 8↓∃@ 8↓∃@ 8↓∃@ 8↓∃@ 8↓∃ 8↓∩cDP∂∃ 8↓∃ 8↓∃ 8↓∃ 8↓∀` 8↓∀` 8↓∀` 8↓∀` 8↓∩CdX∞∀@ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∀ 8↓∪` 8↓∪` 8↓∪` 8↓⊃(B(∂λβqhα↓α⊂&@@0λπ@I@⊂α@!@_%@@`_∧@i0⊂β A⊂⊂%`pλα@ @⊂%`pλ∧@I _β@!⊂⊂%`pλ∧I _β@ p⊂%`pλβ@I0⊂β p⊂%@@`λβI@⊂α@ `⊂&@@0λβI` βK⊂βA
p⊂β@@0λ+@p⊂α@*`⊂β@`λ*@@p⊂β*@⊂β@`pλ*@p_β@*0⊂∧`pλ)A⊂_β@* ⊂∧@`pλ(@A _β@*⊂ε@`λ(A@⊂β)p⊂π@Pλ'B⊂↓@)pλλAλT ∪A!⊂X
@ $Pα∩@TX↓ ∀pS@∀pS ∀hS∀XR@∀("
↓ h∪G!⊂λ)*⊂λ()p⊂'I`λ&@I@⊂&I@⊂%@i0⊂%@I0⊂%i _%i _%i _%i _%i _%@I0⊂%@I0_&I@⊂&IP⊂')`⊂'@Jλ(@* λ)@(T ∀BAB8∞@∀XS∀hS $p↓∪`∀x↓∀%↓∀%↓T %λ↓∀ %λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓∀ %λ↓∀5↓∀%↓∪`$xS@$h↓∪ ∀`R`∀PQ(BPλ∧B↓hβ@J⊂⊂(@J⊂⊂%`@⊂αi0_↓@@0_&@`⊂⊂@ip0(@Ip0&@`⊂⊂@i0_↓@@0_%`@⊂αj⊂⊂(@J⊂⊂(@HT ∃GβaXC %8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`$P∞∩CE8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓∃`%8↓⊃(B`αα↓0_@I %↓ 0_&@)Pλ&@)Pλ&)@λ%@) λ"Q¬` ∧`0λ↓∩@DPα∩`$("b↓⊂∪G!pλ,Jp⊂+@Jp⊂+J`⊂+JP⊂*@JP⊂*J@⊂)@J0⊂)@J ⊂)J ⊂(@J⊂⊂(J⊂(Ip⊂'@Ip⊂'I`⊂&@IP⊂&@I@⊂&I@⊂%@I0⊂%@I ⊂%HT ≥↓↓↓λ $Pα∩@DX↓⊃a⊂λ↓∩@DPα∩`$("∞`@@∧⊂⊂%↓ %@HpH@I %↓ 0_&@)Pλ&@)Pλ&)@λ%@) λ"QπQ`∂αapλ
∩CD8∧βDX
⊃(D∞πC1X¬α
⊂∧J⊂εIpλλ)`λ )PλβA!λ& p⊂α@pλ& `⊂β@ `λ%@ `⊂∧↓@λ%@ P_∧@`@λ% `⊂¬`Pλ% P_¬`Pλ% P_¬`Pλ% P_¬`Pλ% P_¬`Pλ% P_¬`Pλ% P_¬`Pλ% `⊂¬`Pλ%@ P_∧@`Pλ%@ `⊂∧↓@λ& `⊂βA@λ& p⊂α@ ⊂↓@)PλβA P ')pλ(B )A 0*αhT -Aa28∞@tPβR@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@tPβQ(EhβAdqh↓i 8'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂'@Ip⊂%↓i 8"Q(∧αc0 S ∀`R`∀XR@∀PR@∀P@ $PαR`D`↓⊃(A⊂βCqXi _%↓ 0_&i`⊂'@(T Aap8
A4p↓S Dh↓S4X↓∩`∀("¬↓ xαε⊂βI0_↓i@0'HT
Cα8
@⊂PR@⊂PR@⊂PR`⊂@R` 0↓∪ ↓∪↓∧pα⊃(A0π∧ ↓0βHT B"@0
@@TXA ∀PA`∀PA`∀PA`∀XA ∀`αQ(0β∂x␈␈␈pP↓␈x␈␈␈∂x␈␈␈p ↓S@Eα∀ 5λ↓T 4X∧∩@∀("λ↓⊂P↓C@`_'i0_%(T /αAp
↓$hα∪ ⊂↓∩` ↓∩@⊂@Q(ExαB1X@i0_%@i0_"Q∂PXλ↓C0λ↓A4X↓A4X↓A4X↓↓ $X↓↓ $XA@∀P↓↓ $("∨AA↓F@0_α@)@(↓@)0λ↓A) λα@hT ?Cα_
@ 0 ↓R`0 ↓R`0 ↓R`0 ↓Q(@X
Fc1X∧A@P((@`P⊂@@@⊂(@`(α↓ p_β↓ @ '`p βI`_∧i`_∧i`_∧i`_∧i`_∧i`_∧i!8'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_'a_%B@H"Q↓A0εc0Pβ∀ 00↓∀08↓∪`08α∪@0@α∪@0H↓∪@4p↓S@4p↓S@4P S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓S@0H↓Ra⊂_∧Q(@h¬C1X¬α*⊂_βj_β↓ p_βA `_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i!_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_'a⊂_%B 0H"Q↓bλ⊂Fc0Pβ↓ eλ↓A@⊂⊂↓A %↓A`@8↓∪`08αA@Dp↓B@8α∪@0H↓B$p↓B 4p↓B 4p↓B 4p↓B 4p↓B 4P∂∪@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4p↓B 0@↓S@0H↓B4X∧@a⊂⊂∧Q(@x⊂H#1X¬↓@PH(@``⊂@`P_(``(β↓ p_βA ` 'a ∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i!p'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i`_∧@a_'a⊂_∧i0H↓B H"Q∧ hπαc0λ↓↓@$Pα↓DPα@`TX↓ ⊂ ↓ ∀pA`∀pA`∀pA`∀hA`∀hA`∀`A`∀XA`∀PA`∀("!0XB X%αhT .β"0X
A⊂8S ⊂8S⊂8R`⊂8R`⊂8R@⊂8R@⊂8R@⊂8R@⊂λ↓↓⊂λ↓∩@P_αR`@ α∪ 0↓⊃(GX
¬P¬λT >
%⊂¬¬∀(wCM⊗ 2[NFH3~,W⊂⊂⊂iU⊂wE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞p∨
`@π`=V pα>fpα>f␈x␈␈␈`¬∨x␈␈}`β←0ε@PNz a>`λ⊃@↓bP\↓_i=@"λβ'∂αC({cP¬r@¬⊗/0απX*X
F>`(⊂↓KXd↓(1=@axβλr@α]_{↓d⊂εN≡¬F∂0∧π``#J!}`H⊂@↓S@x↓8=A!xβλr@αwh{αc⊂∧zV@ xo0εεH8t∀⊃>`h↓↔λhα@W=Ab_βE+@¬∩λ{βd0π
W
8/0λβ \:∞E↑aλε@Sλf↓h∨⎇B!(α⊂@∧hp{∧bP∧ ↓ T?0
¬ @@α∪.≡a(
@↓λ∧α0e⎇Ba(α⊂@∧np{¬dε.y ↑␈0∧`8G⊂∪E↑aH
@↓λ∧↓h@=C!xβλr@β←X{εd⊂εN≡πK/0∞¬ @@α∂0}ah∪↓u0h↓x~=CbX∧'&β⎇H{πd⊂εN≡λ∂o0⊂β \:∪P≡bλεK@tαλ⊂⎇D!(α⊂@¬&h{λd0π
Wλ1␈0∩¬ @@α
[↑b(⊃@↓bP\α⊂∂=Dbλβ'∂β?x{ a@α.≥λ\?0∀∧0N≡⊃A≡bHλi`<α_-⎇E!(α⊂@∧;⊂{
d⊂εN≡λ}?0⊗β \:∩↑bhπZPXαPT=E``↓↔∞@∧Eλ{bP∧ ↓ ∂0_¬ @@α␈↑cλ
@↓λ∧↓@4⎇F!(α⊂@β
0{bP∧ ↓ε∨∨0~¬ @@αS↑c(
@↓λ∧↓HP⎇Fa(α⊂@β∨ {
bP∧ ↓εK?0≤¬ @@α
(≡cH
@↓λ∧↓Xβ⎇G `↓↔∞@∧K8{∞a@α.≥ ~∂0≡β \:⊂V≡ch⊂@↓S@xα |⎇Ga αr βM_{∂b@∧↓d@π∩∂0 λ h≤<∩B↑dλ⊂↓KXd⊃⎇H!pβ↓ λ@{⊂cpε⊃e≡?0"λ`⎇↔V↑d(∞@↓8xXλd⎇Ha`αbl`#`{⊃d⊂εUCS←0$λ`]r↓C↑dHπ@ax(_?⎇I!0α↔%@;`{∩d⊂εM∃@↓←0&ε@PNzα∨≡dh∪@↓yλ⊂ e⎇Ibβ↔<@Y0{∪d⊂εN≡↓E?0(π XGlβ&↑eλ⊂@↓S@x0w⎇J!xβ⊂↔@x0{∀c∧\:↓␈?0*π``#J∧↔≡e(⊂↓KXd@\⎇Jbβ↔<@↓∩P{∃e0λ]⊗α2∨0,λ`]r¬⊃≡eH⊂↓KXdPV⎇K!PαL9@↓00{⊗a@α.≥ 7␈0.¬ @@α∃,}ehεK@tα0=Ka(α⊂@∧tx{↔a@α.≥ lo00β \:∪≠>fλ
@↓λ∧X2⎇L!@α.≥↓;0{_b0βcHββ?02εH8tε∀↑f( @xp `[⎇L`h↓&≤`↓O⊂{→bP∧ ↓β'∨04εH8tεg↑fHεK@tp↓⎇M h↓&≤`↓c0{~b`∧>≥@βP∨06β \:π8↑fh∩↓bP\x⊂⎇Ma@α.≥↓y0{≠bP∧ ↓β|←08εH8tλ≡gλ↓∂@v↓E⎇N!λ↓T0α∞`{≤b⊂β-∀`∧$∨0:∧0N≡λX↑g(↓↔λh↓λS⎇Na0α∨∞`α∨ {≥cpε⊃e∧F␈0<¬@@|; )↑gH↓∂@v↓⊂t⎇O!_↓qdα4 {≡bP∧ ↓
]o0>
@↓λ∧∃=}gh
@↓λ∧α8:⎇Oa(α⊂@∧y@{∨bP∧ ↓ u␈H¬3PAw{⎇xow{⎇x